trigonometric proofs problems